dimension of subspace